1. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
2. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها ,معماری نرم‌افزار -- کنگره‌ها
رده :
E-Book
,
3. Security for service oriented architectures
پدیدآورنده : Williams, Walter, Walter Williams
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Service-oriented architecture )Computer science(,Security measures ، Computer networks,، Computer security,، COMPUTERS / Software Development & Engineering / General,، COMPUTERS / Security / General,، COMPUTERS / Internet / General
رده :
TK
5105
.
5828
.
W5
4. The build master :
پدیدآورنده : Vincent Maraia ; [edited by] Karen Gettman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Microsoft software.,Software architecture.,Software configuration management.,Software engineering.,Computer Science.,Engineering & Applied Sciences.,Microsoft software.,Software architecture.,Software configuration management.,Software engineering.
رده :
QA76
.
76
.
C69
M37
2006
5. The proceedings of the 11th International CSI )Computer Society of Iran( Computer Conference, CSICC'2006, 24-26 January 2006, School of Computer Science, Institute for Studies in Theoretical Physics and Mathematics )IPM(, Tehran, Iran
پدیدآورنده :
کتابخانه: (طهران)
موضوع : ، Computer science,، Computer architecture,، Artificial intelligence,، Software engineering
رده :
QA
76
.
I572
2006
